(define (problem FR_9_1)
 (:domain first-response)
 (:objects  l1 l2 l3 l4 l5 l6 l7 l8 l9  - location
	    f1 f2 f3 f4 f5 f6 f7 f8 - fire_unit
	    v1 - victim
	    m1 m2 m3 m4 m5 m6 m7 m8 - medical_unit
)
 (:init
        (adjacent l1 l1)
        (adjacent l1 l3)
        (adjacent l1 l8)
        (adjacent l2 l2)
        (adjacent l2 l8)
        (adjacent l3 l1)
        (adjacent l3 l3)
        (adjacent l3 l8)
        (adjacent l4 l4)
        (adjacent l4 l8)
        (adjacent l5 l5)
        (adjacent l5 l8)
        (adjacent l6 l6)
        (adjacent l6 l8)
        (adjacent l7 l7)
        (adjacent l7 l8)
        (adjacent l8 l1)
        (adjacent l8 l2)
        (adjacent l8 l3)
        (adjacent l8 l4)
        (adjacent l8 l5)
        (adjacent l8 l6)
        (adjacent l8 l7)
        (adjacent l8 l8)
        (adjacent l9 l9)
        (fire l3)
        (fire-unit-at f1 l9)
        (fire-unit-at f2 l9)
        (fire-unit-at f3 l8)
        (fire-unit-at f4 l9)
        (fire-unit-at f5 l8)
        (fire-unit-at f6 l8)
        (fire-unit-at f7 l8)
        (fire-unit-at f8 l7)
        (hospital l6)
        (hospital l7)
        (medical-unit-at m1 l7)
        (medical-unit-at m2 l6)
        (medical-unit-at m3 l6)
        (medical-unit-at m4 l6)
        (medical-unit-at m5 l5)
        (medical-unit-at m6 l5)
        (medical-unit-at m7 l4)
        (medical-unit-at m8 l4)
        (nfire l1)
        (nfire l2)
        (nfire l4)
        (nfire l5)
        (nfire l6)
        (nfire l7)
        (nfire l8)
        (nfire l9)
        (victim-at v1 l2)
        (victim-status v1 dying)
        (water-at l3)
        (water-at l4)
        (water-at l5)
	)
 (:goal (and  (nfire l3)  (victim-status v1 healthy)))
 )
